%%Created by jPicEdt 1.4.1_03: mixed JPIC-XML/LaTeX format
%%Wed Jun 01 15:37:47 CEST 2011
%%Begin JPIC-XML
%<?xml version="1.0" standalone="yes"?>
%<jpic x-min="3" x-max="115" y-min="10" y-max="90" auto-bounding="true">
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(60,90)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$\emptyset$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(50,70)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$\{b\}$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(70,70)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$\{c\}$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(30,70)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$\{a\}$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(90,70)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$\{d\}$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(50,30)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$\{a,b,d\}$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(70,30)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$\{a,c,d\}$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(30,30)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$\{a,b,c\}$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(90,30)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$\{b,c,d\}$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(30,50)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$\{a,c\}$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(70,50)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$\{b,c\}$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(10,50)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$\{a,b\}$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(90,50)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$\{b,d\}$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(50,50)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$\{a,d\}$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(110,50)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$\{c,d\}$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(60,10)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$\{a,b,c,d\}$
%</text>
%<multicurve fill-style= "none"
%	 points= "(60,85);(60,85);(30,75);(30,75)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(60,85);(60,85);(50,75);(50,75)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(60,85);(60,85);(70,75);(70,75)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(60,85);(60,85);(90,75);(90,75)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(30,65);(30,65);(10,55);(10,55)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(30,65);(30,65);(30,55);(30,55)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(30,65);(30,65);(50,55);(50,55)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(50,65);(50,65);(10,55);(10,55)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(50,65);(50,65);(70,55);(70,55)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(50,65);(50,65);(90,55);(90,55)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(70,65);(70,65);(70,55);(70,55)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(70,65);(70,65);(30,55);(30,55)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(70,65);(70,65);(110,55);(110,55)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(90,65);(90,65);(90,55);(90,55)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(90,65);(90,65);(110,55);(110,55)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(90,65);(90,65);(50,55);(50,55)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(10,45);(10,45);(30,35);(30,35)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(10,45);(10,45);(50,35);(50,35)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(30,45);(30,45);(30,35);(30,35)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(30,45);(30,45);(70,35);(70,35)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(50,45);(50,45);(50,35);(50,35)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(50,45);(50,45);(70,35);(70,35)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(70,45);(70,45);(30,35);(30,35)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(70,45);(70,45);(90,35);(90,35)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(90,45);(90,45);(90,35);(90,35)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(90,45);(90,45);(50,35);(50,35)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(110,45);(110,45);(90,35);(90,35)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(110,45);(110,45);(70,35);(70,35)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(30,25);(30,25);(60,15);(60,15)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(50,25);(50,25);(60,15);(60,15)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(70,25);(70,25);(60,15);(60,15)"
%	 />
%<multicurve fill-style= "none"
%	 points= "(90,25);(90,25);(60,15);(60,15)"
%	 />
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(53,90)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$1$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(68,90)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$1$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(24,70)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$0.5$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(35,70)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$0$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(43,70)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$0.25$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(55,70)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$0$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(65,70)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$1$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(75,70)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$0.5$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(85,70)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$1$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(95,70)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$0$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(3,50)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$0.25$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(15,50)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$0$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(23,50)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$0.5$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(35,50)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$0$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(43,50)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$0.5$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(55,50)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$0$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(63,50)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$0.25$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(75,50)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$0$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(83,50)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$0.25$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(95,50)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$0$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(103,50)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$1$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(115,50)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$0$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(20,30)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$0.25$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(37,30)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$0$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(43,30)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$0.25$
%</text>
%<text fill-style= "none"
%	 text-vert-align= "center-v"
%	 anchor-point= "(58,30)"
%	 text-frame= "noframe"
%	 text-hor-align= "center-h"
%	 >
%$0$
%</text>
%</jpic>
%%End JPIC-XML
%LaTeX-picture environment using emulated lines and arcs
%You can rescale the whole picture (to 80% for instance) by using the command \def\JPicScale{0.8}
\ifx\JPicScale\undefined\def\JPicScale{1}\fi
\unitlength \JPicScale mm
\begin{picture}(115,90)(0,0)
\put(60,90){\makebox(0,0)[cc]{$\emptyset$}}

\put(50,70){\makebox(0,0)[cc]{$\{b\}$}}

\put(70,70){\makebox(0,0)[cc]{$\{c\}$}}

\put(30,70){\makebox(0,0)[cc]{$\{a\}$}}

\put(90,70){\makebox(0,0)[cc]{$\{d\}$}}

\put(50,30){\makebox(0,0)[cc]{$\{a,b,d\}$}}

\put(70,30){\makebox(0,0)[cc]{$\{a,c,d\}$}}

\put(30,30){\makebox(0,0)[cc]{$\{a,b,c\}$}}

\put(90,30){\makebox(0,0)[cc]{$\{b,c,d\}$}}

\put(30,50){\makebox(0,0)[cc]{$\{a,c\}$}}

\put(70,50){\makebox(0,0)[cc]{$\{b,c\}$}}

\put(10,50){\makebox(0,0)[cc]{$\{a,b\}$}}

\put(90,50){\makebox(0,0)[cc]{$\{b,d\}$}}

\put(50,50){\makebox(0,0)[cc]{$\{a,d\}$}}

\put(110,50){\makebox(0,0)[cc]{$\{c,d\}$}}

\put(60,10){\makebox(0,0)[cc]{$\{a,b,c,d\}$}}

\linethickness{0.3mm}
\multiput(30,75)(0.36,0.12){83}{\line(1,0){0.36}}
\linethickness{0.3mm}
\multiput(50,75)(0.12,0.12){83}{\line(1,0){0.12}}
\linethickness{0.3mm}
\multiput(60,85)(0.12,-0.12){83}{\line(1,0){0.12}}
\linethickness{0.3mm}
\multiput(60,85)(0.36,-0.12){83}{\line(1,0){0.36}}
\linethickness{0.3mm}
\multiput(10,55)(0.24,0.12){83}{\line(1,0){0.24}}
\linethickness{0.3mm}
\put(30,55){\line(0,1){10}}
\linethickness{0.3mm}
\multiput(30,65)(0.24,-0.12){83}{\line(1,0){0.24}}
\linethickness{0.3mm}
\multiput(10,55)(0.48,0.12){83}{\line(1,0){0.48}}
\linethickness{0.3mm}
\multiput(50,65)(0.24,-0.12){83}{\line(1,0){0.24}}
\linethickness{0.3mm}
\multiput(50,65)(0.48,-0.12){83}{\line(1,0){0.48}}
\linethickness{0.3mm}
\put(70,55){\line(0,1){10}}
\linethickness{0.3mm}
\multiput(30,55)(0.48,0.12){83}{\line(1,0){0.48}}
\linethickness{0.3mm}
\multiput(70,65)(0.48,-0.12){83}{\line(1,0){0.48}}
\linethickness{0.3mm}
\put(90,55){\line(0,1){10}}
\linethickness{0.3mm}
\multiput(90,65)(0.24,-0.12){83}{\line(1,0){0.24}}
\linethickness{0.3mm}
\multiput(50,55)(0.48,0.12){83}{\line(1,0){0.48}}
\linethickness{0.3mm}
\multiput(10,45)(0.24,-0.12){83}{\line(1,0){0.24}}
\linethickness{0.3mm}
\multiput(10,45)(0.48,-0.12){83}{\line(1,0){0.48}}
\linethickness{0.3mm}
\put(30,35){\line(0,1){10}}
\linethickness{0.3mm}
\multiput(30,45)(0.48,-0.12){83}{\line(1,0){0.48}}
\linethickness{0.3mm}
\put(50,35){\line(0,1){10}}
\linethickness{0.3mm}
\multiput(50,45)(0.24,-0.12){83}{\line(1,0){0.24}}
\linethickness{0.3mm}
\multiput(30,35)(0.48,0.12){83}{\line(1,0){0.48}}
\linethickness{0.3mm}
\multiput(70,45)(0.24,-0.12){83}{\line(1,0){0.24}}
\linethickness{0.3mm}
\put(90,35){\line(0,1){10}}
\linethickness{0.3mm}
\multiput(50,35)(0.48,0.12){83}{\line(1,0){0.48}}
\linethickness{0.3mm}
\multiput(90,35)(0.24,0.12){83}{\line(1,0){0.24}}
\linethickness{0.3mm}
\multiput(70,35)(0.48,0.12){83}{\line(1,0){0.48}}
\linethickness{0.3mm}
\multiput(30,25)(0.36,-0.12){83}{\line(1,0){0.36}}
\linethickness{0.3mm}
\multiput(50,25)(0.12,-0.12){83}{\line(1,0){0.12}}
\linethickness{0.3mm}
\multiput(60,15)(0.12,0.12){83}{\line(1,0){0.12}}
\linethickness{0.3mm}
\multiput(60,15)(0.36,0.12){83}{\line(1,0){0.36}}
\put(53,90){\makebox(0,0)[cc]{$1$}}

\put(68,90){\makebox(0,0)[cc]{$1$}}

\put(24,70){\makebox(0,0)[cc]{$0.5$}}

\put(35,70){\makebox(0,0)[cc]{$0$}}

\put(43,70){\makebox(0,0)[cc]{$0.25$}}

\put(55,70){\makebox(0,0)[cc]{$0$}}

\put(65,70){\makebox(0,0)[cc]{$1$}}

\put(75,70){\makebox(0,0)[cc]{$0.5$}}

\put(85,70){\makebox(0,0)[cc]{$1$}}

\put(95,70){\makebox(0,0)[cc]{$0$}}

\put(3,50){\makebox(0,0)[cc]{$0.25$}}

\put(15,50){\makebox(0,0)[cc]{$0$}}

\put(23,50){\makebox(0,0)[cc]{$0.5$}}

\put(35,50){\makebox(0,0)[cc]{$0$}}

\put(43,50){\makebox(0,0)[cc]{$0.5$}}

\put(55,50){\makebox(0,0)[cc]{$0$}}

\put(63,50){\makebox(0,0)[cc]{$0.25$}}

\put(75,50){\makebox(0,0)[cc]{$0$}}

\put(83,50){\makebox(0,0)[cc]{$0.25$}}

\put(95,50){\makebox(0,0)[cc]{$0$}}

\put(103,50){\makebox(0,0)[cc]{$1$}}

\put(115,50){\makebox(0,0)[cc]{$0$}}

\put(20,30){\makebox(0,0)[cc]{$0.25$}}

\put(37,30){\makebox(0,0)[cc]{$0$}}

\put(43,30){\makebox(0,0)[cc]{$0.25$}}

\put(58,30){\makebox(0,0)[cc]{$0$}}

\end{picture}
